# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.


$key = q/big-fmt/;
$external_labels{$key} = "$URL/" . q|node84_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/capacity/;
$external_labels{$key} = "$URL/" . q|node117_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/color/;
$external_labels{$key} = "$URL/" . q|node108_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/config-error/;
$external_labels{$key} = "$URL/" . q|node111_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/config-sec/;
$external_labels{$key} = "$URL/" . q|node75_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/config-syntax/;
$external_labels{$key} = "$URL/" . q|node76_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/custom-fmt/;
$external_labels{$key} = "$URL/" . q|node85_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/def-view/;
$external_labels{$key} = "$URL/" . q|node9_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/dvips-sec/;
$external_labels{$key} = "$URL/" . q|node102_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/edit-menu/;
$external_labels{$key} = "$URL/" . q|node34_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/enc-sec/;
$external_labels{$key} = "$URL/" . q|node96_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/file-menu/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/fmt-sec/;
$external_labels{$key} = "$URL/" . q|node83_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/folders/;
$external_labels{$key} = "$URL/" . q|node2_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/graphics/;
$external_labels{$key} = "$URL/" . q|node103_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/hype/;
$external_labels{$key} = "$URL/" . q|node109_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lowpsprint/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/make-pk/;
$external_labels{$key} = "$URL/" . q|node99_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/mf-sec/;
$external_labels{$key} = "$URL/" . q|node98_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/mfmode/;
$external_labels{$key} = "$URL/" . q|node100_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/mp-sec/;
$external_labels{$key} = "$URL/" . q|node101_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/new-tfm/;
$external_labels{$key} = "$URL/" . q|node88_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/newpackage/;
$external_labels{$key} = "$URL/" . q|node81_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/nonpsprint/;
$external_labels{$key} = "$URL/" . q|node17_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/oldlatex/;
$external_labels{$key} = "$URL/" . q|node82_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/other-configs/;
$external_labels{$key} = "$URL/" . q|node73_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/page-setup/;
$external_labels{$key} = "$URL/" . q|node27_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/paper-coords/;
$external_labels{$key} = "$URL/" . q|node10_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/pk-sec/;
$external_labels{$key} = "$URL/" . q|node89_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/ps-fonts/;
$external_labels{$key} = "$URL/" . q|node90_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/reenc/;
$external_labels{$key} = "$URL/" . q|node91_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/rotation/;
$external_labels{$key} = "$URL/" . q|node107_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/scaling-probs/;
$external_labels{$key} = "$URL/" . q|node123_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/shortcuts/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/stdpsprint/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/tfm-sec/;
$external_labels{$key} = "$URL/" . q|node87_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/tools-menu/;
$external_labels{$key} = "$URL/" . q|node61_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/usestdps/;
$external_labels{$key} = "$URL/" . q|node28_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/vf-sec/;
$external_labels{$key} = "$URL/" . q|node97_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/view-menu/;
$external_labels{$key} = "$URL/" . q|node46_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/viewdlg/;
$external_labels{$key} = "$URL/" . q|node8_ct.html|; 
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.


1;

